| Ident. | Authors (with country if any) | Title |
|---|
| 000098 |
Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France] | Validation of Formal Specifications through Transformation and Animation |
| 000109 |
Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France] | Refinement-based Validation of Event-B Specifications |
| 000658 |
Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France] | Observation-Level-Driven Formal Modeling |
| 000866 |
Manu J. Dubin ; Pei Zhang [République populaire de Chine] ; Dazhe Meng [République populaire de Chine] ; Marie-Stanislas Remigereau ; Edward J. Osborne ; Francesco Paolo Casale ; Philipp Drewe ; André Kahles ; Géraldine Jean [France] ; Bjarni Vilhjálmsson ; Joanna Jagoda ; Selen Irez ; Viktor Voronin [Autriche] ; Qiang Song [Canada] ; Quan Long [France] ; Gunnar R Tsch ; Oliver Stegle ; Richard M. Clark [États-Unis] ; Magnus Nordborg | DNA methylation in Arabidopsis has a genetic basis and shows evidence of local adaptation. |
| 000949 |
Emmanuel Vincent [France] ; Aggelos Gkiokas [Grèce] ; Dominik Schnitzer [Autriche] ; Arthur Flexer [Autriche] | An investigation of likelihood normalization for robust ASR |
| 000962 |
Thanh Phuong Nguyen [France] ; Antoine Manzanera [France] ; Walter G. Kropatsch [Autriche] | Impact of topology-related attributes from Local Binary Patterns on texture classification |
| 000B03 |
Ngoc Chan Nguyen [France] ; Karn Yongsiriwit [France] ; Walid Gaaloul [France] ; Jan Mendling [Autriche] | Mining Event Logs to Assist the Development of Executable Process Variants |
| 000E03 |
Antoine Liutkus [France] ; David Martina [France] ; Sébastien Popoff [France] ; Gilles Chardon [France, Autriche] ; Ori Katz [France] ; Geoffroy Lerosey [France] ; Sylvain Gigan [France] ; Laurent Daudet [France] ; Igor Carron | Imaging With Nature: Compressive Imaging Using a Multiply Scattering Medium |
| 001201 |
Bernadette Charron-Bost [France] ; Stephan Merz [France] ; Andrey Rybalchenko [Allemagne] ; Josef Widder [Autriche] | Formal Verification of Distributed Algorithms |
| 001360 |
Guillaume Melquiond [France] ; W. Georg Nowak [Autriche] ; Paul Zimmermann [France] | Numerical Approximation of the Masser-Gramain Constant to Four Decimal Digits: delta=1.819... |
| 001457 |
Stefan Hetzl [Autriche] ; Tomer Libal [France] ; Martin Riener [Autriche] ; Mikheil Rukhaia [France] | Understanding Resolution Proofs through Herbrand’s Theorem |
| 001471 |
Cynthia Kop [Autriche] ; Naoki Nishida [Japon] | Term Rewriting with Logical Constraints |
| 001483 |
Christian Inzinger [Autriche] ; Benjamin Satzger [Autriche] ; Waldemar Hummer [Autriche] ; Schahram Dustdar [Autriche] | Specification and Deployment of Distributed Monitoring and Adaptation Infrastructures |
| 001506 |
Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche] | Realizing Elastic Processes with ViePEP |
| 001545 |
Riccardo Haupt [Italie] ; Milen Minkov [Autriche] ; Itziar Astigarraga [Espagne] ; Eva Sch Fer [France] ; Vasanta Nanduri [Royaume-Uni] ; Rima Jubran [États-Unis] ; R. Maarten Egeler [Canada] ; Gritta Janka [Allemagne] ; Dragan Micic [Serbie] ; Carlos Rodriguez-Galindo [États-Unis] ; Stefaan Van Gool [Belgique] ; Johannes Visser [Royaume-Uni] ; Sheila Weitzman [Canada] ; Jean Donadieu [France] | Langerhans cell histiocytosis (LCH): Guidelines for diagnosis, clinical work‐up, and treatment for patients till the age of 18 years |
| 001566 |
Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche] | Introducing the Vienna Platform for Elastic Processes |
| 001617 |
Joseph Boudou [France, Niger] ; Bruno Woltzenlogel Paleo [Autriche] | Compression of Propositional Resolution Proofs by Lowering Subproofs |
| 001797 |
Fdhila Walid [Autriche] ; Rinderle-Ma Stefanie [Autriche] ; Aymen Baouab [France] ; Olivier Perrin [France] ; Claude Godart [France] | On Evolving Partitioned Web Service Orchestrations |
| 001845 |
Sonja Kabicher-Fuchs [Autriche] ; Stefanie Rinderle-Ma [Autriche] ; Jan Recker [Australie] ; Marta Indulska [Australie] ; Francois Charoy [France] ; Rob Christiaanse [Pays-Bas] ; Reinhold Dunkl [Autriche] ; Gregor Grambow [Allemagne] ; Jens Kolb [Allemagne] ; Henrik Leopold [Allemagne] ; Jan Mendling [Autriche] | Human-Centric Process-Aware Information Systems (HC-PAIS) |
| 001E16 |
Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon] | Multi-Completion with Termination Tools |
| 002434 |
Maria Alduan ; Federico Alvarez ; Jan Bouwen [Autriche] ; Gonzalo Camarillo ; Pablo Cesar [Pays-Bas] ; Pedros Daras ; Olivier Festor [France] ; Ebroul Izquierdo ; Nikos Laoutaris ; Amar-Djalil Mezaour [France] ; Paul Moore ; Giovanni Pau ; George Pavlou [Royaume-Uni] ; Tomas Piatrik ; Sergios Soursos ; Thomas Steiner ; Christian Timmerer [Autriche] ; Thanasis Tsiodras ; Theodore Zahariadis | Future Media Internet Architecture Reference Model (v1.0) |
| 002538 |
Michael Stollberg [Irlande (pays)] ; Joerg Hoffmann [France] ; Dieter Fensel [Autriche] | A caching technique for optimizing automated service discovery |
| 002609 |
Manfred Kerber [Royaume-Uni] ; Colin Rowat [Royaume-Uni] ; Wolfgang Windsteiger [Autriche] | Using Theorema in the Formalization of Theoretical Economics |
| 002776 |
Sarah Winkler [Autriche] ; Aart Middeldorp [Autriche] | AC Completion with Termination Tools |
| 002B73 |
Tsvetan Dunchev [Autriche] ; Alexander Leitsch [Autriche] ; Tomer Libal [Autriche] ; Daniel Weller [Autriche] ; Bruno Woltzenlogel Paleo [France] | System Description: The Proof Transformation System CERES |
| 003030 |
Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche] | SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs |
| 003047 |
Martin Avanzini [Autriche] | POP* and Semantic Labeling Using SAT |
| 003110 |
Guillaume Bonfante [France] ; Georg Moser [Autriche] | Characterising Space Complexity Classes via Knuth-Bendix Orders |
| 003112 |
Andreas Schnabl [Autriche] | Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems |
| 003118 |
Bruno Woltzenlogel Paleo [Autriche, France] | Atomic Cut Introduction by Resolution: Proof Structuring and Compression |
| 003982 |
Cas J. F. Cremers [Suisse] ; Pascal Lafourcade [France] ; Philippe Nadeau [Autriche] | Comparing State Spaces in Automatic Security Protocol Analysis |
| 003987 |
Ivan Švancara [République tchèque] ; Karel Vyt As [République tchèque] ; Kurt Kalcher [Autriche] ; Alain Walcarius [France] ; Joseph Wang [États-Unis] | Carbon Paste Electrodes in Facts, Numbers, and Notes: A Review on the Occasion of the 50‐Years Jubilee of Carbon Paste in Electrochemistry and Electroanalysis |
| 003A33 |
Hajo A. Reijers [Pays-Bas] ; Minseok Song [Pays-Bas] ; Heidi Romero [Pays-Bas] ; Umeshwar Dayal [États-Unis] ; Johann Eder [Autriche] ; Jana Koehler [Suisse] | A Collaboration and Productiveness Analysis of the BPM Community |
| 004398 |
P. Wild [France] ; K. Leodolter [Autriche] ; M. Réfrégier [France] ; H. Schmidt [Autriche] ; E. Bourgkard [France] | Effects of talc dust on respiratory health: results of a longitudinal survey of 378 French and Austrian talc workers |
| 004409 |
Nao Hirokawa [Japon] ; Georg Moser [Autriche] | Complexity, Graphs, and the Dependency Pair Method |
| 004B68 |
Nachum Dershowitz [Israël] ; Georg Moser [Autriche] | The Hydra Battle Revisited |
| 004B72 |
A. Kandelbauer [Autriche] ; A. Despres [France] ; A. Pizzi [France] ; I. Taudes [Autriche] | Testing by fourier transform infrared species variation during melamine–urea–formaldehyde resin preparation |
| 004B84 |
Jorge Coelho [Portugal] ; Mário Florido [Portugal] ; Temur Kutsia [Autriche] | Sequence Disunification and Its Application in Collaborative Schema Construction |
| 004C18 |
Claudia Stöllberger [Autriche] ; Josef Finsterer [Autriche] | Noncompaction in Melnick Fraser Syndrome |
| 005356 |
Johann Eder [Autriche] ; Wolfgang Gruber ; Horst Pichler | Transforming Workflow Graphs |
| 005360 |
Gerhard Kramler [Autriche] ; Elisabeth Kapsammer [Autriche] ; Werner Retschitzegger [Autriche] ; Gerti Kappel [Autriche] | Towards Using UML 2 for Modelling Web Service Collaboration Protocols |
| 005460 |
Harald Kühn [Autriche] ; Marion Murzek [Autriche] | Interoperability Issues in Metamodelling Platforms |
| 005461 |
Nikolay Mehandjiev [Royaume-Uni] ; Iain Duncan Stalker [Royaume-Uni] ; Kurt Fessl [Autriche] ; Georg Weichhart [Autriche] | Interoperability Contributions of CrossWork |
| 005800 |
Johann Eder [Autriche] ; Schahram Dustdar [Autriche] ; Tom Davenport ; Selma L. Mansar ; Hajo Reijers ; Michael Rosemann ; Ton Weijters [Pays-Bas] ; Malu Castellanos ; Domenico Sacca ; Nacer Boudjlida [France] ; Hervé Panetto [France] | BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Springer Verlag, Lecture Notes in Computer Science, September, LNCS 4103 |
| 006B22 |
Stephan Schulz [Autriche, Allemagne] | System Description: E 0.81 |
| 006B33 |
Georg Gottlob [Autriche] | Second-Order Logic over Finite Structures – Report on a Research Programme |
| 006C07 |
Ángel J. Gil [Espagne, États-Unis] ; Miki Hermann [France] ; Gernot Salzer [Autriche] ; Bruno Zanuttini [France] | Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains |
| 007960 |
Karim Baïna [France] ; Schahram Dustdar [Autriche] | Web-Services Coordination Model |
| 007A26 |
Birgit Stehno [Autriche] ; Gregor Retti [Autriche] | Modelling the logical structure of books and journals using augmented transition network grammars |
| 007A58 |
Andreas Holzinger [Autriche] | Finger Instead of Mouse: Touch Screens as a Means of Enhancing Universal Access |
| 007A75 |
Chris Stary [Autriche] | Designing User Interfaces for a Variety of Users: Possible Contributions from Model-Based Development Schemes |
| 007A96 |
Maria A. Wimmer [Autriche] ; Ute Holler [Autriche] | Applying a Holistic Approach to Develop User-Friendly, Customer-Oriented E-government Portal Interfaces |
| 009185 |
Bernhard Gramlich [Autriche] | On interreduction of semi-complete term rewriting systems |
| 009254 |
Georg Gottlob [Autriche] ; Reinhard Pichler [Autriche] | Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models |
| 009439 |
Olivia Karel [Autriche] | On retaining ambiguity in disambiguated corpora: Programmatic reflections on why's and how's |
| 009F04 |
Bernhard Gramlich [Autriche] ; Hélène Kirchner [France] ; Frank Pfenning [États-Unis] | Editorial: Strategies in Automated Deduction |
| 00AA01 |
Martin Be Ka [Slovaquie] ; Sophie Robert [France] ; Marian Vajteršic [Autriche, Slovaquie] | Experiments with Parallel One - Sided and Two - Sided Algorithms for SVD |
| 00AA68 |
K. Stokkermans [Autriche] | A Categorical Critical-pair Completion Algorithm |
| 00AA98 |
M. Becka [Slovaquie] ; S. Robert [France] ; M. Vajtersic [Slovaquie, Autriche] | Experiments with parallel one-sided and two-sided algorithms for SVD |
| 00B315 |
Hoon Hong [États-Unis] ; Dalibor Jakuš [Autriche] | Testing Positiveness of Polynomials |
| 00B336 |
Miki Hermann [France] ; Gernot Salzer [Autriche] | On the word, subsumption, and complement problem for recurrent term schematizations |
| 00B384 |
H. Hong [Autriche] | Bounds for Absolute Positiveness of Multivariate Polynomials |
| 00C039 |
Reto Battaglia [Suisse] ; Werner Pfannhauser [Autriche] ; Michael Murkovic [Autriche] | Personalities |
| 00CD03 |
Gernot Salzer [Autriche] | Primal grammars and unification modulo a binary clause |
| 00D619 |
Ian C. Taylor [Autriche] | Using SPL to model ISO 9000 |
| 00EC43 |
Marijke Nefzger [Autriche] ; Jörg Kreuter [Suisse] ; Rolf Voges [Suisse] ; Ekke Liehl [Autriche] ; Rudolf Czok [Autriche] | Distribution and elimination of polymethyl methacrylate nanoparticles after peroral administration to rats |
| 00F031 |
R. Eier [Autriche] ; H. Will [Autriche] ; H. J. Stetter [Autriche] ; R. Hafner [Autriche] ; P. Meissl ; M. Brockhaus [Autriche] | Buchbesprechungen |
| 00F060 |
E. Schroll [Autriche] ; Erika Stepán [Autriche] | Zur Röntgenfluoreszenzanalyse geologischen Materials |
